Impossibility of (Repeated) Reliable Broadcast

نویسنده

  • Aleta Ricciardi
چکیده

We consider the problem of Generic Repeated Coordination, of which Reliable Broadcast and Repeated Distributed Consensus are but two instances. We show that in the absence of in nite storage capacity, all problems in this class require perfect failure detectors, highlighting signi cant assumptions made by many protocols assuming reliable broadcast. Our work also shows that the usual reason used to explain the impossibility of Distributed Consensus in asynchronous systems is misattributed; that is, it is not the inability of a process to know whether a remote process is crashed that makes Consensus impossible. Finally, in the absence of perfect failure detectors, and of processes that never crash, this work illuminates the need for a more exible notion of \non-faulty process", and for a thorough investigation of coordination problems in which the set of participating processes is dynamic.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Consensus is Easier Than Reliable Broadcast

We consider asynchronous distributed systems with message losses and process crashes. We study the impact of finite process memory on the solution to consensus, repeated consensus and reliable broadcast. With finite process memory, we show that in some sense consensus is easier to solve than reliable broadcast, and that reliable broadcast is as difficult to solve as repeated consensus: More pre...

متن کامل

With Finite Memory Consensus Is Easier Than Reliable Broadcast

We consider asynchronous distributed systems with message losses and process crashes. We study the impact of finite process memory on the solution to consensus, repeated consensus and reliable broadcast. With finite process memory, we show that in some sense consensus is easier to solve than reliable broadcast, and that reliable broadcast is as difficult to solve as repeated consensus: More pre...

متن کامل

Indulgent Algorithms ∗ ( Extended

Informally, an indulgent algorithm is a distributed algorithm that tolerates unreliable failure detection: the algorithm is indulgent towards its failure detector. This paper formally characterizes such algorithms and states some of their interesting features. We show that indulgent algorithms are inherently safe and uniform. We also state impossibility results for indulgent solutions to diverg...

متن کامل

Submission for the 4 th CaberNet Plenary

Fault tolerance can be achieved in distributed systems by replication. However, Fischer, Lynch and Paterson have proven an impossibility result about consensus in the asynchronous system model, and similar impossibility results exist for atomic broadcast and group membership. We investigate, with the aid of an experiment conducted in a LAN, whether these impossibility results set limits to the ...

متن کامل

Chasing the FLP Impossibility Result in a LAN or How Robust Can a Fault Tolerant Server Be?

Fault tolerance can be achieved in distributed systems by replication. However, Fischer, Lynch and Paterson have proven an impossibility result about consensus in the asynchronous system model. Similar impossibility results have been established for atomic broadcast and group membership, and should be as such relevant for implementations of a replicated service. However, the practical impact of...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1995